(* Structure test *)
structure S: sig datatype t = X end = struct datatype t = X end;
